Stateful Contracts for Affine Types∗ Jesse A. Tov and Riccardo Pucella Northeastern University, Boston, MA 02115, USA {tov,riccardo}@ccs.neu.edu Abstract. Affine type systems manage resources by preventing some values

Source URL: users.eecs.northwestern.edu

COHOMOLOGY OF LINE BUNDLES ON THE FLAG VARIETY FOR TYPE G2 HENNING HAAHR ANDERSEN AND KANEDA MASAHARU Abstract. In the case of an almost simple algebraic group G of type G2 over a field of characteristic p > 0 we study

Source URL: home.math.au.dk

Multiplicities in GGGRs for Classical Type Groups with Connected Centre I Jay Taylor Abstract. Assume G is a connected reductive algebraic group defined over F p such that p

Source URL: www.math.unipd.it

Extended Abstract Compiling Links Effect Handlers to the OCaml Backend Daniel Hillerstr¨om Sam Lindley

Source URL: kcsrk.info

• Software engineering
• Computer programming
• Computing
• Functional languages
• Control flow
• Software design patterns
• OCaml
• Monad
• Exception handling
• Type system
• Caml
• ML

Mineral resources English version – SOSI standard 4.0 Mineral resources English version – SOSI standard 4.0

Source URL: kartverket.no

• Mathematics
• Algebra
• Abstract algebra
• Universal identifiers
• Complex analysis
• Pi
• Integer
• Number
• Numeral system
• Data type
• 0.999...
• METAR

Locality optimization in JavaParty by means of static type analysis Michael Philippsen and Bernhard Haumacher University of Karlsruhe, Germany and Abstract

Source URL: www.haumacher.de

• Computing
• Software engineering
• Computer programming
• Java
• Object-oriented programming languages
• Object-oriented programming
• Concurrent programming languages
• Cross-platform software
• Clone
• This
• Software design pattern
• Method

ON Lp BOUNDS FOR KAKEYA MAXIMAL FUNCTIONS AND THE MINKOWSKI DIMENSION IN R2 U. KEICH Abstract. We prove that the bound on the Lp norms of the Kakeya type maximal functions studied by Cordoba [2], and by

Source URL: www.maths.usyd.edu.au

• Harmonic analysis
• Mathematics
• Discrete geometry
• Kakeya set
• Real analysis
• Limit of a function
• NC
• Dyadic cubes
• Differential forms on a Riemann surface

Register Date Title Regularity of fractional maximal functions and extremal timpa Acfunctions of exponential type

Source URL: www.impa.br

• Mathematics
• Calculus
• Algebra
• Dynamical systems
• Multivariable calculus
• Partial differential equation
• Algebraic geometry
• Complex number
• Integrable system
• Abstract algebra
• Nonlinear system
• Representation theory

Homotopy Type of Disentanglements of Multi-germs Kevin Houston School of Mathematics University of Leeds Leeds, LS2 9JT, U.K.

Source URL: www.kevinhouston.net

• Algebra
• Abstract algebra
• Mathematics
• Algebraic topology
• Homology theory
• Cohomology
• Spectral sequence
• CW complex
• Sheaf
• Closed and exact differential forms
• MayerVietoris sequence
• Grushko theorem

About a new type of null Osserman condition on Lorentz S-manifolds L ETIZIA B RUNETTI Department of Mathematics – University of Bari, Italy Abstract. The problem of Osserman conjecture is completely solved in the Loren

Source URL: gigda.ugr.es

• Mathematical analysis
• Lorentzian manifolds
• Theoretical physics
• Physics
• Curvature
• Connection
• Differential geometry
• Special relativity
• Minkowski space
• Sectional curvature
• Normal distribution
• Pseudo-Riemannian manifold